es_realizer{i:l}
== rec(X.(Unit + (left:X  X) + (loc:Id  (T:Type  (x:Id  (T + (rationalsT))))) + (loc:Id
== rec( (T:Type
== rec( (x:Id
== rec( (Knd List)))) + (lnk:IdLnk  (tag:Id  (Knd List))) + (loc:Id
== rec( (ds:fpf(Id; x.Type)
== rec( knd:Knd
== rec( T:Type
== rec( (x:Id
== rec( ((decl-state(ds)Tdecl-type{i:l}
== rec( ((decl-state(ds)Tdecl-type(ds; x)) + (decl-state(ds)Trationals
== rec( decl-type{i:l}
== rec( decl-type(ds; x)))))) + (ds:fpf(Id; x.Type)
== rec( (knd:Knd
== rec( T:Type
== rec( l:IdLnk
== rec( (dt:fpf(Id; x.Type)
== rec( ((tg:Id  (decl-state(ds)T(decl-type{i:l}(dt; tg) List))) List)))) + (loc:Id
== rec( (ds:fpf(Id; x.Type)
== rec( a:Id
== rec( (p:finite-prob-space
== rec( (decl-state(ds))))) + (loc:Id  (k:Knd  (Id List))) + (loc:Id
== rec( (k:Knd
== rec( (IdLnk List))) + (loc:Id  (x:Id  (Knd List))))) 

latex

---

clarification:

es_realizer{i:l}
== rec(X.(Unit + (left:X  X) + (loc:Id  (T:Type{i}  (x:Id  (T + (rationalsT))))) + (loc:Id
== rec( (T:Type{i}
== rec( (x:Id
== rec( (Knd List)))) + (lnk:IdLnk  (tag:Id  (Knd List))) + (loc:Id
== rec( (ds:fpf(Id; x.Type{i})
== rec( knd:Knd
== rec( T:Type{i}
== rec( (x:Id
== rec( ((decl-state(ds)Tdecl-type{i:l}
== rec( ((decl-state(ds)Tdecl-type(ds; x)) + (decl-state(ds)Trationals
== rec( decl-type{i:l}
== rec( decl-type(ds; x)))))) + (ds:fpf(Id; x.Type{i})
== rec( (knd:Knd
== rec( T:Type{i}
== rec( l:IdLnk
== rec( (dt:fpf(Id; x.Type{i})
== rec( ((tg:Id  (decl-state(ds)T(decl-type{i:l}(dt; tg) List))) List)))) + (loc:Id
== rec( (ds:fpf(Id; x.Type{i})
== rec( a:Id
== rec( (p:finite-prob-space
== rec( (decl-state(ds))))) + (loc:Id  (k:Knd  (Id List))) + (loc:Id
== rec( (k:Knd
== rec( (IdLnk List))) + (loc:Id  (x:Id  (Knd List))))) 

latex

Definitions	rec(x.A(x)), Unit, rationals, decl-type{i:l}(ds; x), fpf(A; a.B(a)), Type, finite-prob-space, x:AB(x), decl-state(ds), , left + right, IdLnk, x:A  B(x), Id, type List, Knd
FDL editor aliases	es_realizer